Listing 1 - 10 of 26 | << page >> |
Sort by
|
Choose an application
Grammar, Comparative and general --- Syllogism --- Quantifiers
Choose an application
These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,
Mathematics --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic of mathematics --- Mathematics, Logic of --- Philosophy. --- Mathematics - Philosophy.
Choose an application
Logic, Symbolic and mathematical --- Mathematics --- Logique symbolique et mathématique --- Mathématiques --- Philosophy --- Philosophie --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique symbolique et mathématique --- Mathématiques --- Logic, symbolic and mathematical.
Choose an application
Logic, Symbolic and mathematical --- Mathematics --- Logique symbolique et mathématique --- Mathématiques --- Philosophy --- Philosophie --- Bolzano, Bernard, --- Logic, Symbolic and mathematical. --- Mathematics. --- Math --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Bolzano, Bernard --- Logique symbolique et mathématique --- Mathématiques --- Bolzano, Bernardus Placidus Johann Nepomuk
Choose an application
In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics.
Logic, Symbolic and mathematical. --- Implication (Logic) --- Structuralism. --- Logique symbolique et mathématique --- Implication (Logique) --- Structuralisme --- Structuralism --- Logic, Symbolic and mathematical --- Structure (Philosophy) --- Philosophy --- Whole and parts (Philosophy) --- Form (Philosophy) --- Poststructuralism --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic --- Implication (Logic). --- Logique symbolique et mathématique --- Arts and Humanities
Choose an application
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy. --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- -Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Philosophy --- Mathematics - Philosophy. --- Algebra of logic --- Logic of mathematics --- Mathematics, Logic of
Choose an application
Proof theory. --- Logic, Symbolic and mathematical. --- Logic, Symbolic and mathematical --- Proof theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Théorie de la preuve --- Logique symbolique et mathématique
Choose an application
Syllogism --- Jewish philosophy --- Philosophy, Medieval. --- Logic, Medieval --- Syllogisme --- Philosophie juive --- Philosophie médiévale --- Logique médiévale --- Early works to 1800. --- Ouvrages avant 1800 --- Philosophy, Medieval --- Medieval philosophy --- Scholasticism --- Argumentation --- Logic --- Reasoning --- Logic, Symbolic and mathematical --- Jews --- Philosophy, Jewish --- Philosophy, Israeli --- Philosophy
Choose an application
Logic, Symbolic and mathematical --- Mathematics --- -Math --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Philosophy --- Whitehead, Alfred North --- -Contributions in concept of mathematics --- Whitehead, Alfred North, --- Contributions in concept of mathematics. --- Logic of mathematics --- Mathematics, Logic of --- Logic, symbolic and mathematical. --- Philosophy. --- Mathematics - Philosophy. --- Whitehead, Alfred North, - 1861-1947 - Contributions in concept of mathematics. --- Whitehead (alfred north), 1861-1947 --- Logique mathematique --- Critique et interpretation --- Whitehead, Alfred North, - 1861-1947
Choose an application
This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.
Computer science --- -Computer science --- -681.3*F0 --- Informatics --- Science --- Congresses --- Computerwetenschap--?*F0 --- Congresses. --- 681.3*F0 --- Latin America --- Computer science - Congresses. --- Computer science - Latin America - Congresses. --- Computers. --- Algorithms. --- Mathematical logic. --- Combinatorics. --- Computer science—Mathematics. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Combinatorics --- Algebra --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Foundations
Listing 1 - 10 of 26 | << page >> |
Sort by
|